SODM+T: Inferencia de restricciones de rendimiento

نویسندگان

  • Antonio García-Domínguez
  • Inmaculada Medina-Bulo
  • Mariano Marcos-Bárcena
چکیده

Las metodologías dirigidas por modelos (MDM) han experimentado un gran impulso en los últimos años, así como su aplicación a las Arquitecturas Orientadas a Servicios (AOS). Sin embargo, su avance no ha ido paralelo a la integración en ellas de técnicas de verificación y validación. En este trabajo se presenta SODM+T, el conjunto de herramientas que apoya a la metodología SODM+Testing que extiende la MDM de desarrollo de AOS SODM, integrando técnicas y modelos para la realización de pruebas. Se muestra uno de sus componentes, dedicado a asistir al usuario a diseñar pruebas de rendimiento sobre composiciones de servicios en una fase temprana de desarrollo, infiriendo las restricciones a partir de la información parcial disponible.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

El modelo de persistencia basado en contenedores: conclusiones sobre una aproximación distinta hacia la persistencia

El término “Persistente” se aplica a los sistemas que proporcionan un mecanismo transparente y automático (en mayor o menor medida) de salvaguarda y recuperación de objetos. El modelo más extendido que implementan estos sistemas es el ortogonal, que sin embargo supone una serie de restricciones de independencia (de los tipos de datos, de código persistente y no persistente ... etc.) muy fuertes...

متن کامل

Arquitectura Básica para Controladores de Lógica Difusa a Programarse en FPGAs

El proceso de lógica difusa se divide en tres interfaces, cuya participación en el proceso no cambia de orden: Fuzificación, Inferencia y Defuzificación. En la Figura 1 se advierte que la Inferencia está supeditada por los valores que entrega la Fuzificación; así mismo, la Defuzificación depende de los propios de la inferencia. Por lo anterior, se afirma que el proceso difuso es secuencial por ...

متن کامل

Combinacion de Procesos de Clausura y CSP para la Resolucion de Problemas de Scheduling (Premio Accésit Jose Cuena)

El problema de scheduling ha sido estudiado bajo diferentes aproximaciones, fundamentalmente mediante técnicas CSP. En este artículo se presenta un método que combina el proceso de clausura de restricciones con el proceso CSP. Inicialmente, modelamos el scheduling como el problema de satisfacer y encontrar la solución de un conjunto de restricciones métricas disyuntivas, basadas en puntos de ti...

متن کامل

Representación con Restricciones de Medidas Cualitativas: Aplicación a un Problema de Scheduling

La programación lógica con restricciones está enfocada a resolver problemas por medio de cláusulas definidas. Conocida internacionalmente como Constraint Logic Programming y abreviada como CLP, la programación lógica con restricciones es un potente paradigma utilizado en aplicaciones como el diseño de hardware, inteligencia artificial, planificación, calendarización, optimización y procesamient...

متن کامل

Implementación de un Sistema de Control con Microcontrolador Difuso

ste artículo describe el diseño, simulación e implementación de un control inteligente, usando un microcontrolador difuso que contiene internamente (hardware) una máquina de inferencia. El diseño y la simulación de control determinaron una máquina de inferencia óptima de siete funciones de membresía y siete reglas del tipo Si, Entonces; usando métodos de sintonía, algoritmos genéticos y redes n...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010